L. Lamport (auth.): mencari di situs web Z-Library

Akses gratis ke pengetahuan dan budaya.

Don't use scam websites

Diterapkan filter

Pencocokan lengkap

Pencocokan lengkap

Buku (16)
Yang paling populer
Daftar
- Daftar
- Tabel

1

Formal Systems Specification: The RPC-Memory Specification Case Study

Formal Systems Specification: The RPC-Memory Specification Case Study

Springer-Verlag Berlin Heidelberg

Manfred Broy, Leslie Lamport (auth.), Manfred Broy, Stephan Merz, Katharina Spies (eds.)

Tahun:

1996

Bahasa:

english

File:

DJVU, 4.41 MB

5.0 / 4.0

english, 1996

2

Formal Systems Specification: The RPC-Memory Specification Case Study

Formal Systems Specification: The RPC-Memory Specification Case Study

Springer-Verlag Berlin Heidelberg

Manfred Broy, Leslie Lamport (auth.), Manfred Broy, Stephan Merz, Katharina Spies (eds.)

Tahun:

1996

Bahasa:

english

File:

PDF, 8.22 MB

0 / 0

english, 1996

3

Distributed Computing: 22nd International Symposium, DISC 2008, Arcachon, France, September 22-24, 2008. Proceedings

Distributed Computing: 22nd International Symposium, DISC 2008, Arcachon, France, September 22-24, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Marcos K. Aguilera, Eli Gafni, Leslie Lamport (auth.), Gadi Taubenfeld (eds.)

Tahun:

2008

Bahasa:

english

File:

PDF, 7.37 MB

0 / 0

english, 2008

4

Distributed Computing: 22nd International Symposium, DISC 2008, Arcachon, France, September 22-24, 2008. Proceedings

Distributed Computing: 22nd International Symposium, DISC 2008, Arcachon, France, September 22-24, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Marcos K. Aguilera, Eli Gafni, Leslie Lamport (auth.), Gadi Taubenfeld (eds.)

Tahun:

2008

Bahasa:

english

File:

PDF, 8.85 MB

0 / 0

english, 2008

5

Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness: REX Workshop, Mook, The Netherlands May 29 – June 2, 1989 Proceedings

Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness: REX Workshop, Mook, The Netherlands May 29 – June 2, 1989 Proceedings

Springer-Verlag Berlin Heidelberg

Martín Abadi, Leslie Lamport (auth.), J. W. de Bakker, W. -P. de Roever, G. Rozenberg (eds.)

Tahun:

1990

Bahasa:

english

File:

DJVU, 7.52 MB

0 / 0

english, 1990

6

Real-Time: Theory in Practice: REX Workshop Mook, The Netherlands, June 3–7, 1991 Proceedings

Real-Time: Theory in Practice: REX Workshop Mook, The Netherlands, June 3–7, 1991 Proceedings

Springer-Verlag Berlin Heidelberg

Martín Abadi, Leslie Lamport (auth.), J. W. de Bakker, C. Huizing, W. P. de Roever, G. Rozenberg (eds.)

Tahun:

1992

Bahasa:

english

File:

DJVU, 7.05 MB

0 / 0

english, 1992

7

Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness: REX Workshop, Mook, The Netherlands May 29 – June 2, 1989 Proceedings

Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness: REX Workshop, Mook, The Netherlands May 29 – June 2, 1989 Proceedings

Springer-Verlag Berlin Heidelberg

Martín Abadi, Leslie Lamport (auth.), J. W. de Bakker, W. -P. de Roever, G. Rozenberg (eds.)

Tahun:

1990

Bahasa:

english

File:

PDF, 15.92 MB

0 / 0

english, 1990

8

Real-Time: Theory in Practice: REX Workshop Mook, The Netherlands, June 3–7, 1991 Proceedings

Real-Time: Theory in Practice: REX Workshop Mook, The Netherlands, June 3–7, 1991 Proceedings

Springer-Verlag Berlin Heidelberg

Martín Abadi, Leslie Lamport (auth.), J. W. de Bakker, C. Huizing, W. P. de Roever, G. Rozenberg (eds.)

Tahun:

1992

Bahasa:

english

File:

PDF, 15.33 MB

0 / 0

english, 1992

9

Computer Aided Verification: Fourth International Workshop, CAV '92 Montreal, Canada, June 29 – July 1, 1992 Proceedings

Computer Aided Verification: Fourth International Workshop, CAV '92 Montreal, Canada, June 29 – July 1, 1992 Proceedings

Springer-Verlag Berlin Heidelberg

Leslie Lamport (auth.), Gregor von Bochmann, David Karl Probst (eds.)

Tahun:

1993

Bahasa:

english

File:

DJVU, 3.96 MB

0 / 0

english, 1993

10

Distributed Operating Systems: Theory and Practice

Distributed Operating Systems: Theory and Practice

Springer-Verlag Berlin Heidelberg

Leslie Lamport (auth.), Yakup Paker, Jean-Pierre Banatre, Müslim Bozyiğit (eds.)

Tahun:

1987

Bahasa:

english

File:

PDF, 8.47 MB

0 / 0

english, 1987

11

The Philosophical Legacy of Behaviorism

The Philosophical Legacy of Behaviorism

Springer Netherlands

Michael Lamport Commons, Eric Andrew Goodheart (auth.), Bruce A. Thyer (eds.)

Tahun:

1999

Bahasa:

english

File:

PDF, 7.26 MB

0 / 0

english, 1999

12

Automata, Languages and Programming: 16th International Colloquium Stresa, Italy, July 11–15, 1989 Proceedings

Automata, Languages and Programming: 16th International Colloquium Stresa, Italy, July 11–15, 1989 Proceedings

Springer-Verlag Berlin Heidelberg

Martín Abadi, Leslie Lamport, Pierre Wolper (auth.), Giorgio Ausiello, Mariangiola Dezani-Ciancaglini, Simonetta Ronchi Della Rocca (eds.)

Tahun:

1989

Bahasa:

english

File:

DJVU, 7.09 MB

0 / 0

english, 1989

13

Automata, Languages and Programming: 16th International Colloquium Stresa, Italy, July 11–15, 1989 Proceedings

Automata, Languages and Programming: 16th International Colloquium Stresa, Italy, July 11–15, 1989 Proceedings

Springer-Verlag Berlin Heidelberg

Martín Abadi, Leslie Lamport, Pierre Wolper (auth.), Giorgio Ausiello, Mariangiola Dezani-Ciancaglini, Simonetta Ronchi Della Rocca (eds.)

Tahun:

1989

Bahasa:

english

File:

PDF, 17.98 MB

0 / 0

english, 1989

14

CONCURRENCY 88: International Conference on Concurrency Hamburg, FRG, October 18–19, 1988 Proceedings

CONCURRENCY 88: International Conference on Concurrency Hamburg, FRG, October 18–19, 1988 Proceedings

Springer-Verlag Berlin Heidelberg

L. Lamport (auth.), Frederich H. Vogt (eds.)

Tahun:

1988

Bahasa:

english

File:

DJVU, 4.92 MB

0 / 0

english, 1988

15

Computer Aided Verification: Fourth International Workshop, CAV '92 Montreal, Canada, June 29 – July 1, 1992 Proceedings

Computer Aided Verification: Fourth International Workshop, CAV '92 Montreal, Canada, June 29 – July 1, 1992 Proceedings

Springer-Verlag Berlin Heidelberg

Leslie Lamport (auth.), Gregor von Bochmann, David Karl Probst (eds.)

Tahun:

1993

Bahasa:

english

File:

PDF, 7.03 MB

0 / 0

english, 1993

16

CONCURRENCY 88: International Conference on Concurrency Hamburg, FRG, October 18–19, 1988 Proceedings

CONCURRENCY 88: International Conference on Concurrency Hamburg, FRG, October 18–19, 1988 Proceedings

Springer-Verlag Berlin Heidelberg

L. Lamport (auth.), Frederich H. Vogt (eds.)

Tahun:

1988

Bahasa:

english

File:

PDF, 11.43 MB

0 / 0

english, 1988